integration of cot(x)